" Pohlers" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

Категория: Образование

11.87 Mb

#2

An introduction to mathematical logic

Wolfram Pohlers (author), Thomas Glaß (editor)

982 Kb

#3

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

2.62 Mb

#4

Proof Theory

Wolfram Pohlers

9.81 Mb

#5

Iterated Inductive Definitions and Subsystems of Analysis

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

Категория: Lecture notes

2.47 Mb

#6

Proof Theory. An Introduction

Wolfram Pohlers, Pohlers

Категория: Lecture notes

1.55 Mb

#7

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

3.82 Mb

#8

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

3.42 Mb

#9

Proof Theory: The First Step into Impredicativity

Категория: Математика

7.15 Mb